1

Axiomatizing logics of fuzzy preferences using graded modalities

Year:
2020
Language:
english
File:
PDF, 1.02 MB
english, 2020
14

MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions

Year:
2016
Language:
english
File:
PDF, 1.67 MB
english, 2016
16

Axiomatization of Crisp Gödel Modal Logic

Year:
2020
File:
PDF, 552 KB
2020
20

On transitive modal many-valued logics

Year:
2020
Language:
english
File:
PDF, 750 KB
english, 2020